perm filename FOO[206,JMC]2 blob
sn#070516
filedate 1973-11-02 generic text, type T, neo UTF8
00100 (DE FOO (X Y) (CONS X Y)) 00200 00300 (DE GOO (X Y) (PLUS X Y))